- элиминация кванторов
- Mathematics: elimination of quantifiers
Универсальный русско-английский словарь. Академик.ру. 2011.
элиминация кванторов
Смотреть что такое "элиминация кванторов" в других словарях:
Элиминация кванторов — В математической логике элиминация кванторов это процесс, порождающий по заданной логической формуле, другую, эквивалентную ей формулу, свободную от вхождений кванторов. Элиминация кванторов далеко не всегда возможна, но когда это так, алгоритм… … Википедия
Mathematica — Тип Сист … Википедия
Система компьютерной алгебры — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Добавить иллюстрации. Викифицировать список литературы, используя … Википедия
Алгоритм Тарского — Алгоритм Тарского универсальный алгоритм, позволяющий установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел. Алгоритм Тарского позволяет проверить истинность или… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
